341. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
342. Cognitive and Linguistic Aspects of Geographic Space
Author: edited by David M. Mark, Andrew U. Frank.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Earth & Environmental Sciences.,Geography.,Humanities.
343. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
344. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
345. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
346. Combinatorics on traces
Author: Volker Diekert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
76
.
L28
Vol
.
454
347. Combinatorics on traces
Author: Diekert, Volker
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
267
.
5
.
S4
.
D54
1990
348. Communicating Process Architectures 2005 :
Author: ed. by Jan F. Broenink [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
Classification :
QA76
.
58
.
W58
2005eb
349. Communicating process architectures 2009 :
Author: edited by Peter H. Welch [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
Classification :
QA76
.
58
.
W58
2009
350. Communication Protocol Specification and Verification
Author: by Richard Lai, Ajin Jirachiefpattana.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer engineering.,Computer hardware.,Computer science.,Software engineering.
351. Communication and concurrency
Author: Robin Milner
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Machine theory,Formal languages
Classification :
QA
،
267
،.
M533
،
1989
352. Communication and concurrency
Author: Milner, R.)Robin(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
1989
353. Communication and concurrency /
Author: Robin Milner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
Classification :
QA267
.
M533
1989
354. Communication and concurrency
Author: / Robin Milner
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory,Formal languages
Classification :
QA267
.
M533
1989
355. Communication and concurrency
Author: Milner, Robin, 1934-
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Machine theory►Formal languages
Classification :
76
.
9
.
S88
,
M67
356. Communication and concurrency
Author: / Robin Milner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory,Formal languages
Classification :
QA
267
.
M53
1989
357. Communication and concurrency
Author: Milner, Robin
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
358. Communication & concurrency
Author: MILNER,ROBIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MACHINE THEORY , FORMAL LANGUAGES
Classification :
QA
267
.
M533
359. Compiler Generators :
Author: by Mads Tofte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
C65
B963
1990
360. Complete guide to test automation :
Author: Arnon Axelrod.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing.,COMPUTER SCIENCE-- General.,Computer software-- Testing.,Programming & scripting languages: general.
Classification :
QA76
.
76
.
T48
